1. Abstract recursion and intrinsic complexity
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Algorithms. ; Recursion theory. ; Set theory. ;
2. Abstract recursion and intrinsic complexity /
پدیدآورنده : Yiannis N. Moschovakis (University of California, Los Angeles, and University of Athens).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Algorithms.,Recursion theory.,Set theory.,Algorithms.,Recursion theory.,Set theory.
رده :
QA9
.
58
.
M67
2019
3. Automata, languages, and programming :
پدیدآورنده : edited by Jan Paredaens.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer programming -- Congresses.,Machine theory -- Congresses.,Programming languages (Electronic computers) -- Congresses.
4. Automata, languages and programming :
پدیدآورنده : ICALP 93. A. Lingas ... (ed.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Lund <1993>,Theoretische Informatik.
5. Computational Logic - CL 2000 :
پدیدآورنده : edited by John Lloyd, Veronica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luís Moniz Pereira, Yehoshua Sagiv, Peter J. Stuckey.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer architecture.,Computer science.,Software engineering.
رده :
QA76
.
9
.
L63
E358
2000
6. Discrete mathematics /
پدیدآورنده : Seymour Lipschutz, Marc Lars Lipson.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science-- Mathematics, Outlines, syllabi, etc.,Computer science, Problems, exercises, etc.-- Mathematics.,Mathematics, Outlines, syllabi, etc.,Mathematics, Problems, exercises, etc.,Mathematics.,Computer science-- Mathematics.,Computer science.,Mathematics.
رده :
QA162
.
L767
2007
7. Introduction to lattice theory with computer science applications /
پدیدآورنده : Vijay K. Garg
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science-- Mathematics.,Engineering mathematics.,Lattice theory.
رده :
QA76
.
9
.
L38
8. Mathematical Foundations of Computer Science 1976 :
پدیدآورنده : edited by Antoni Mazurkiewicz.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Computer Science.,Computers.
رده :
QA267
.
3
E358
1976
9. Mathematical Foundations of Computer Science 1989 :
پدیدآورنده : edited by Antoni Kreczmar, Grazyna Mirkowska.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Computer software.,Logic design.
رده :
QA76
.
9
.
M35
E358
1989
10. Mathematical Foundations of Information Retrieval
پدیدآورنده : by Sándor Dominich.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Humanities.,Information storage and retrieval systems.,Mathematics.
11. Principles and practice of constraint programming--CP'97 :
پدیدآورنده : Gert Smolka (ed.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Constraint programming (Computer science),Constraint programming (Computer science) -- Congresses.,Programmatuurtechniek.
12. The (new) Turing omnibus :
پدیدآورنده : A.K. Dewdney.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computers.,Electronic data processing.,Automates mathématiques, Théorie des.,Informatique.,Ordinateurs.,Computers.,Electronic data processing.,Processamento eletronico de dados.
رده :
QA76
.
D448
1993
13. There's something about Gödel :
پدیدآورنده : Francesco Berto
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Gödel, Kurt,Gödel's theorem,Incompleteness theorems,Mathematics-- Philosophy
رده :
QA9
.
54
.
B4713
2009
